//
// Created by ziya on 2023/11/28.
//
#include "../include/kernel.h"
#include "../include/unistd.h"
#include "../include/string.h"

extern void* move_to_user();

void cmain64() {
    int a = 10;

    char* str = "ziya";
    write(0, str, strlen(str));
    write(0, str, strlen(str));

    while (true);
}

void* kernel_thread(void* arg) {
    move_to_user();

    while (true) {
        printk("kernel_thread\n");
        asm volatile("hlt;");
    }
}